منابع مشابه
An embedding theorem for Hilbert categories
We axiomatically define (pre-)Hilbert categories. The axioms resemble those for monoidal Abelian categories with the addition of an involutive functor. We then prove embedding theorems: any locally small pre-Hilbert category whose monoidal unit is a simple generator embeds (weakly) monoidally into the category of pre-Hilbert spaces and adjointable maps, preserving adjoint morphisms and all fini...
متن کاملHigman ’ s Embedding Theorem . An Elementary Proof
In 1961 G. Higman proved a remarkable theorem establishing a deep connection between the logical notion of recursiveness and questions about finitely presented groups. The basic aim of the present paper is to provide the reader with a rigorous and detailed proof of Higman’s Theorem. All the necessary preliminary material, including elements of group theory and recursive functions theory, is sys...
متن کاملTracial Algebras and an Embedding Theorem
We prove that every positive trace on a countably generated ∗-algebra can be approximated by positive traces on algebras of generic matrices. This implies that every countably generated tracial ∗-algebra can be embedded into a metric ultraproduct of generic matrix algebras. As a particular consequence, every finite von Neumann algebra with separable pre-dual can be embedded into an ultraproduct...
متن کاملAn embedding theorem for Eichler orders
Let B be a quaternion algebra over number field K : Assume that B satisfies the Eichler condition (i.e., there is at least one archimedean place which is unramified in B). Let O be an order in a quadratic extension L of K: The Eichler orders of B which admit an embedding of O are determined. This is a generalization of Chinburg and Friedman’s embedding theorem for maximal orders. r 2004 Elsevie...
متن کاملAn embedding theorem for convex fuzzy sets
In this paper we embed the space of upper semicontinuous convex fuzzy sets on a Banach space into a space of continuous functions on a compact space. The following structures are preserved by the embedding: convex cone, metric, sup-semilattice. The indicator function of the unit ball is mapped to the constant function 1. Two applications are presented: strong laws of large numbers for fuzzy ran...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Algebra
سال: 2011
ISSN: 0021-8693
DOI: 10.1016/j.jalgebra.2010.08.026